propositional logic syntax - Turkish English Dictionary